The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Ferruccio Damiani Books

Results for Ferruccio Damiani

Showing 1 to 4 of 4 results
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues) Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues) by

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

by


ISBN 13: 9783642024436

Format: Paperback (323 pages)
Publisher: Springer
Published: 19 Jun 2009

Save for later

 
New : $76.15  
New : $76.15
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Lecture Notes in Computer Science) Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Lecture Notes in Computer Science) by Marco Bernardo,Ferruccio Damiani,Reiner Haehnle,Einar Broch Johnsen,Ina Schaefer

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Lecture Notes in Computer Science)

by Marco Bernardo,Ferruccio Damiani,Reiner Haehnle,Einar Broch Johnsen,Ina Schaefer


ISBN 13: 9783319073163

Format: Paperback (352 pages)
Publisher: Springer
Published: 21 May 2014

Save for later

 
New : $78.48  
New : $78.48
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers: 3085 (Lecture Notes in Computer Science) Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers: 3085 (Lecture Notes in Computer Science) by Stefano Berardi,Ferruccio Damiani,Mario Coppo

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers: 3085 (Lecture Notes in Computer Science)

by Stefano Berardi,Ferruccio Damiani,Mario Coppo


ISBN 13: 9783540221647

Format: Paperback (424 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $94.80  
New : $94.80
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science) Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science) by Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Bernhard Beckert

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science)

by Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Bernhard Beckert


ISBN 13: 9783642358869

Format: Paperback (368 pages)
Publisher: Springer
Published: 03 Jan 2013

Save for later

 
New : $59.72  
New : $59.72